extern "ping" [

	...args
]